ci: Update the configuration options
authorEmmanuele Bassi <ebassi@gnome.org>
Thu, 1 Mar 2018 10:08:27 +0000 (17:08 +0700)
committerEmmanuele Bassi <ebassi@gnome.org>
Thu, 1 Mar 2018 10:08:27 +0000 (17:08 +0700)
commit4b33cc5f897e8feb354438779371ef1e7e7fda6a
treefa389b1981b30ee24633a57286f3653e22b28c7e
parent6fa2c7e3b7228a4f772d907e11429099b3ddc9f5
ci: Update the configuration options

The options were renamed in commit 7b32900c5574.
.gitlab-ci/test-docker.sh